This
TiddlyWiki
contains the following tiddlers:
$:/config/AnimationDuration
$:/config/AutoSave
$:/config/DownloadSaver/AutoSave
$:/config/EditorToolbarButtons/Visibility/$:/core/ui/EditorToolbar/bold
$:/config/EditorToolbarButtons/Visibility/$:/core/ui/EditorToolbar/clear
$:/config/EditorToolbarButtons/Visibility/$:/core/ui/EditorToolbar/heading-1
$:/config/EditorToolbarButtons/Visibility/$:/core/ui/EditorToolbar/heading-2
$:/config/EditorToolbarButtons/Visibility/$:/core/ui/EditorToolbar/heading-3
$:/config/EditorToolbarButtons/Visibility/$:/core/ui/EditorToolbar/italic
$:/config/EditorToolbarButtons/Visibility/$:/core/ui/EditorToolbar/line-width
$:/config/EditorToolbarButtons/Visibility/$:/core/ui/EditorToolbar/mono-block
$:/config/EditorToolbarButtons/Visibility/$:/core/ui/EditorToolbar/mono-line
$:/config/EditorToolbarButtons/Visibility/$:/core/ui/EditorToolbar/opacity
$:/config/EditorToolbarButtons/Visibility/$:/core/ui/EditorToolbar/paint
$:/config/EditorToolbarButtons/Visibility/$:/core/ui/EditorToolbar/quote
$:/config/EditorToolbarButtons/Visibility/$:/core/ui/EditorToolbar/rotate-left
$:/config/EditorToolbarButtons/Visibility/$:/core/ui/EditorToolbar/size
$:/config/EditorToolbarButtons/Visibility/$:/core/ui/EditorToolbar/stamp
$:/config/EditorToolbarButtons/Visibility/$:/core/ui/EditorToolbar/subscript
$:/config/EditorToolbarButtons/Visibility/$:/core/ui/EditorToolbar/superscript
$:/config/EditorToolbarButtons/Visibility/$:/plugins/bimlas/asciidoctor/EditorToolbar/heading-2
$:/config/EditorToolbarButtons/Visibility/$:/plugins/bimlas/asciidoctor/EditorToolbar/heading-3
$:/config/EditorToolbarButtons/Visibility/$:/plugins/bimlas/asciidoctor/EditorToolbar/heading-4
$:/config/EditorToolbarButtons/Visibility/$:/plugins/bimlas/asciidoctor/EditorToolbar/heading-5
$:/config/EditorToolbarButtons/Visibility/$:/plugins/bimlas/asciidoctor/EditorToolbar/heading-6
$:/config/EditorToolbarButtons/Visibility/$:/plugins/tiddlywiki/markdown/EditorToolbar/heading-1
$:/config/EditorToolbarButtons/Visibility/$:/plugins/tiddlywiki/markdown/EditorToolbar/heading-2
$:/config/EditorToolbarButtons/Visibility/$:/plugins/tiddlywiki/markdown/EditorToolbar/heading-3
$:/config/EditorToolbarButtons/Visibility/$:/plugins/tiddlywiki/markdown/EditorToolbar/heading-4
$:/config/EditorToolbarButtons/Visibility/$:/plugins/tiddlywiki/markdown/EditorToolbar/heading-5
$:/config/EditorToolbarButtons/Visibility/$:/plugins/tiddlywiki/markdown/EditorToolbar/heading-6
$:/config/EditorToolbarButtons/Visibility/$:/plugins/tiddlywiki/markdown/EditorToolbar/mono-line
$:/config/Navigation/openLinkFromInsideRiver
$:/config/Navigation/UpdateAddressBar
$:/config/Navigation/UpdateHistory
$:/config/NewJournal/Text
$:/config/NewJournal/Title
$:/config/PageControlButtons/Visibility/$:/core/ui/Buttons/new-journal
$:/config/PageControlButtons/Visibility/$:/plugins/bimlas/asciidoctor/new-asciidoctor-button
$:/config/PageControlButtons/Visibility/$:/plugins/tiddlywiki/markdown/new-markdown-button
$:/config/RelinkOnRename
$:/config/shortcuts-not-mac/italic
$:/config/TextEditor/EditorHeight/Height
$:/config/TextEditor/EditorHeight/Mode
$:/config/ViewToolbarButtons/Visibility/$:/core/ui/Buttons/close-others
$:/config/ViewToolbarButtons/Visibility/$:/core/ui/Buttons/info
$:/core
$:/DefaultTiddlers
$:/enotes/macros
$:/GitHub/Branch
$:/GitHub/Filename
$:/GitHub/Path
$:/GitHub/Repo
$:/GitHub/ServerURL
$:/GitHub/Username
$:/isEncrypted
$:/layout
$:/palette
$:/plugins/bimlas/asciidoctor
$:/plugins/flibbles/relink
$:/plugins/hoelzro/full-text-search
$:/plugins/hoelzro/progress-bar
$:/plugins/kookma/refnotes
$:/plugins/kookma/todolist
$:/plugins/snowgoon88/edit-comptext
$:/plugins/tiddlywiki/bibtex
$:/plugins/tiddlywiki/highlight
$:/plugins/tiddlywiki/katex
$:/plugins/tiddlywiki/markdown
$:/SiteSubtitle
$:/SiteTitle
$:/state/advancedsearch/currentTab
$:/state/advancedsearch/standard/currentTab
$:/state/dropdown/keyboardshortcut/italic--457885534
$:/state/dropdown/keyboardshortcut/layout-switcher--457885534
$:/state/edit/references--1088125835
$:/state/edit/references--1757198073
$:/state/edit/references--2027453726
$:/state/edit/references--435862906
$:/state/edit/references--616153941
$:/state/edit/references--737242126
$:/state/edit/references--957446591
$:/state/edit/references-2033492043
$:/state/edit/references-458078333
$:/state/edit/references-495738635
$:/state/edit/references-793676658
$:/state/edit/references-802459743
$:/state/Excise/--1320964262/type
$:/state/Excise/--159848845/type
$:/state/Excise/--1742620162/type
$:/state/Excise/--2067045541/type
$:/state/Excise/--284841180/type
$:/state/Excise/--348052906/type
$:/state/Excise/--480268043/tagnew
$:/state/Excise/-1600091938/tagnew
$:/state/Excise/-1630779606/type
$:/state/Excise/-485394516/tagnew
$:/state/Excise/-966780615/type
$:/state/folded/Communication-modularity-and-extensibility
$:/state/folded/Distributed-systems-required-properties
$:/state/folded/On-reliable-and-extendable-operating-systems
$:/state/folded/The-early-history-of-smalltalk
$:/state/importpreviewtype
$:/state/Link/-783368877/search
$:/state/plugin-info-461233672-$:/plugins/kookma/todolist--549009918
$:/state/search-list/selected-item--874113614
$:/state/showeditpreview
$:/state/ShowPaletteEditor
$:/state/sidebar
$:/state/tab--1115102456
$:/state/tab--1448902536
$:/state/tab--1498284803
$:/state/tab--153843996
$:/state/tab--1963855381
$:/state/tab--2112689675
$:/state/tab--393089120
$:/state/tab--959111941
$:/state/tab-1163638994
$:/state/tab-1380222474
$:/state/tab-1570043558
$:/state/tab-1749438307
$:/state/tab-2065006209
$:/state/tab-791374308
$:/state/tab-99014043
$:/state/tab/moresidebar-1850697562
$:/state/tab/search-results/advancedsearch
$:/state/tab/sidebar--595412856
$:/state/tabs/controlpanel/toolbars-1345989671
$:/state/tag-manager/design-philosophy
$:/state/tree/$:/core/
$:/state/tree/$:/core/images/
$:/state/tree/$:/enotes/
$:/state/tree/$:/plugins/
$:/state/tree/$:/plugins/kookma/
$:/state/tree/$:/state/
$:/state/tree/$:/state/Link/
$:/state/tree/$:/todolist/
$:/state/tree/$:/todolist/data/
$:/state/tree/$:/todolist/data/done/
$:/state/tree/$:/todolist/data/priority/
$:/state/tree/$:/todolist/data/tasks/
$:/status/RequireReloadDueToPluginChange
$:/StoryList
$:/theme
$:/themes/tiddlywiki/snowwhite
$:/themes/tiddlywiki/vanilla
$:/themes/tiddlywiki/vanilla/metrics/bodyfontsize
$:/themes/tiddlywiki/vanilla/metrics/bodylineheight
$:/themes/tiddlywiki/vanilla/metrics/fontsize
$:/themes/tiddlywiki/vanilla/metrics/sidebarbreakpoint
$:/themes/tiddlywiki/vanilla/metrics/sidebarwidth
$:/themes/tiddlywiki/vanilla/metrics/storyright
$:/themes/tiddlywiki/vanilla/metrics/storywidth
$:/themes/tiddlywiki/vanilla/metrics/tiddlerwidth
$:/themes/tiddlywiki/vanilla/options/codewrapping
$:/themes/tiddlywiki/vanilla/settings/editorfontfamily
$:/themes/tiddlywiki/vanilla/settings/fontfamily
$:/todolist/data/done/Simple
$:/todolist/data/priority/Simple
$:/todolist/data/state/<<currentTiddler>>
$:/todolist/data/state/$(currentTiddler
$:/todolist/data/state/$(currentTiddler)
$:/todolist/data/state/2022-05-24
$:/todolist/data/state/2022-05-25
$:/todolist/data/state/2022-05-31
$:/todolist/data/state/base
$:/todolist/data/state/Draft of '2022-05-25'
$:/todolist/data/state/journal
$:/todolist/data/state/Simple
$:/todolist/data/status/Simple
$:/todolist/data/tasks/2022-05-23
$:/todolist/data/tasks/2022-05-24
$:/todolist/data/tasks/2022-05-25
$:/todolist/data/tasks/2022-05-31
$:/todolist/data/tasks/base
$:/todolist/data/tasks/journal
$:/todolist/data/tasks/Simple
$:/view
2019-01-08 My Eureka Moment with the TiddlyWiki
2022-02-02
2022-02-03
2022-02-04
2022-02-07
2022-02-08
2022-02-09
2022-02-10
2022-02-11
2022-02-15
2022-02-16
2022-02-17
2022-02-23
2022-02-24
2022-02-25
2022-03-15
2022-03-17
2022-03-18
2022-03-22
2022-03-23
2022-03-24
2022-03-29
2022-03-30
2022-04-04
2022-04-06
2022-04-13
2022-04-28
2022-04-29
2022-05-02
2022-05-03
2022-05-11
2022-05-12
2022-05-13
2022-05-17
2022-05-18
2022-05-19
2022-05-20
2022-05-23
2022-05-24
2022-05-25
2022-05-26
2022-05-28
2022-05-30
2022-05-31
2022-06-01
2022-06-02
2022-06-03
2022-06-05
2022-06-07
2022-06-09
2022-06-10
2022-06-11
2022-06-13
2022-06-16
2022-06-17
2022-06-21
2022-06-28
A-note-on-CLU
Academic-searching-tools
Achieving-several-goals-simultaneously
Active-learning
actor
Actor-model-enables-local-verification
Actor-naming-implies-rights
Actors-a-model-of-concurrent-computation-in-distributed-systems
Actors-a-model-of-concurrent-computation-in-distributed-systems-general-design-decisions
Actors-Hewitt
Agha1985-actors-a-model-of-concurrent-computation-in-distributed-systems
Alan-kay
AlgolSixty-syndrome
Alphard-forms
Asciidoc-one-sentence-per-line
ashrafian2010-how-to-read-a-paper
atkinson-hewitt-1977-synchronization-in-actor-systems
Awesome-talks
baker-hewitt-incremental-garbage-collection-1977
Barrelfish-distributed-os
Buddy-allocator
Cal-tss-naming-and-access-rights
Cal-tss-operations-are-extension-points-and-specifications
Cal-tss-resource-accounting
Cal-tss-system-extendability
Call-by-future
Call-by-name
Call-by-value
Capabilities-are-actors
Capabilities-for-isolation-and-authorization
Capabilities-vs-access-control-lists
Capability-based-system-structure
Channel-primitive-apis
Chisel-language
Classes-simula
CLU-approach-to-safety
CLU-design-principles
CLU-design-principles-snippet
CLU-design-process
CLU-design-process-snippet
CLU-error-model
CLU-implementing-abstract-types
CLU-iterators-as-new-control-structure
CLU-language-goals
CLU-language-goals-snippet
CLU-operation-naming-and-uniformity
CLU-parametric-polymorphism
CLU-programming-methodology
CLU-programming-methodology-snippet
CLU-related-work
CLU-related-work-snippet
CLU-semantic-model
Clusters-CLU
Code-inflation-for-true-command
Communicate-asynchronously
Communicating-sequential-processes
Communicating-sequential-processes-approach
Communicating-sequential-processes-comparison-with-subroutines
Communicating-sequential-processes-coroutines
Communicating-sequential-processes-introduction
Communicating-sequential-processes-motivation
Communicating-sequential-processes-naming
Communicating-sequential-processes-notation
Communication-modularity-and-extensibility
Complecting-things-is-source-of-complexity
Complex-ideas-may-be-hard-to-learn-because-their-components-overflow-working-memory
Concurrency-algorithms
Concurrency-cost-hierarchy
Concurrent-pascal
Cooperative-task
Coordinated-and-efficient-huge-page-management-with-ingens
Coroutine
Coroutines-unix
Criticisms-of-object-oriented-design
Custom-Tiddler-stylesheet
Deep-understanding-requires-detailed-knowledge-of-fundamentals
Design-issues-in-parallel-architectures-for-artificial-intelligence
Design-of-a-separable-transition-diagram-compiler
Distill-projects-to-their-essentials
Distilling-knowledge-procedure
Distributed-systems-required-properties
Distributed-systems-required-properties-first-pass
Distributed-systems-required-properties-second-pass
Doug-McIlroy
Dynamic-dispatch
Dynamic-partitioning
Efficiency-through-identifying-least-amount-of-computation
elphinstone2013-what-have-we-learned-in-20-years-of-l4-microkernels
Endpoint-discovery-versus-introduction
Endpoints-instead-of-threads-for-communication
Entries-PLI
Erlang
Erlang-out-of-order-receive
Erlang-process-registration-for-naming
Erlang-runtime-updates
Eros-space-bank
Evaluation-strategy-for-evaluating-expressions
Eventcount
EvergreenNotes
Everything-is-a-Tiddler
Executable-specifications
experiences-using-lightweight-formal-methods-for-requirements-modeling-easterbrook1998
FidlProtocolGenerator
FidlTraits
ford1994-migrating-thread-model
Formal-specification
Fuchsia-OS
FunctionalLanguage
Garbage-collection
Getting-things-done
Globally-asynchronous-locally-synchronous
Go-concurrency-patterns
Go-concurrent-service-with-cancel-cmd
Go-select-statement-concurrently-waits-on-multiple-channels
Go-statement-considered-harmful
Goals
Goto-statement-considered-harmful
Great-speeches
Guarded-atomic-actions
Guarded-commands
Guarded-page-tables
hansen1976-concurrent-pascal
Haskell-typeclass
Heap-allocation
Heilmeier-catechism-for-evaluating-approaches
Hewitt-activation-frame
Hewitt-packagers
Hewitt-paper-summaries
hewitt1973
hewitt1977
hewitt1977-laws-for-communicating-parallel-processes
hewitt1984-design-issues-in-parallel-architectures
Hexagonal-architecture
Higher-order-virtual-machine
History-of-clu
hoare1969-axiomatic-basis-for-computer-programming
hoare1972-proof-of-correctness-of-data-representations
hoare1974-monitors-an-operating-system-concept
hoare1978-communicating-sequential-processes
Hours-arent-equal
How-things-get-stuck-and-how-to-get-moving-again
How-to-embrace-asynchronous-communication-for-remote-work
How-to-make-ad-hoc-polymorphism-less-add-hoc
How-to-read-a-paper
Hubris-operating-system
Hubris-os-configuration-as-code
Hubris-supervisor-can-restart-tasks
If-youre-not-writing-a-program-dont-use-a-programming-language
Img-Futures-with-inprocess-channels
img-init-mem-data-structures.svg
img-qnx-send-reply-recv
img-segments-fragmentation
Import Bibtex
Incidental-complexity
Incremental-garbage-collection-of-processes
Integrating-concepts-across-papers
Intentional-work
Interactive-visualization-approaches
Interprocess-Communication
Iterators-as-control-structure
JoeArmstrong
Knowledge-requires-ability-to-generalize-and-make-connections
kwon2016-huge-page-management-with-ingens
lampson1969
lampson1979-experience-with-processes-and-monitors-in-mesa
language-design
Language-server-protocol
Language-we-use-for-ideas-shapes-our-ideas
Late-binding
Laws-for-communicating-parallel-processes
Layered-construction-for-reliability-and-flexibility
Lazy-execution
learning
Leslie-lamport
liedtke1994-page-table-structures-tr
liedtke1994-sparse-address-spaces
Linux-documentation
Linux-memory-management
liskov1996-a-history-of-clu
lister1977-problem-of-nested-monitor-calls
Machine-checked-properties
Manycore-processing
Meetings-arent-free
Melvin-conway
Message-queues-enable-decoupling
MessagePassing
Metacommentary
Migrating-thread-model
Mind-sized-bites
Mnemonic-medium
Modularity-is-what-program-components-should-look-like
Moldable-development
Monitors-an-operating-system-structuring-concept
Monomorphism-generates-specific-code-from-generic-description
Moose-analysis-platform
Mortise-and-tenon-by-hand
Multi-process-communication
Mutex-for-concurrent-sharing
Name-resolution-in-rust
Nested-locks-problem
Object-oriented
On-reliable-and-extendable-operating-systems
Operating-system-history
papert-mindstorms-children-computers-and-powerful-ideas
Passive-procedure
Pattern-matching
Pharo-language
Polymorphism
Pomodoro-technique
Problems-with-inheritance
Procedures-Algol60
Protocol-oriented-programming-in-swift
Protocol-oriented-programming-in-swift-transcript
QNX-based-message-passing
React-functions-and-components
Reading-a-water-meter
Reading-lists
References-footer
RenameTags
Rendezvous-channel-for-communication-and-synchronization
Replace-your-to-do-list-with-interstitial-journaling-to-increase-productivity
Resource-accounting
Resource-cleanup
Rich-hickey
Riscv-bootflow
Robust-ipc-with-send-recv-reply
Runtime-extendability
Rust-async-await
Rust-async-cancellation
Rust-closures
Rust-concurrency-primitives
Rust-dispatch
Rust-event-loop
Rust-future
Rust-futures-vs-javascript-promises
Rust-language
Rust-lifetime-describe-reference-validity
Rust-mutex-is-different
Rust-pattern-matching-for-destructring-data
Rust-pinning
Rust-requires-initialized-types-for-correctness
Rust-single-threaded-shared-mutability
Rust-task
Rust-trait
Rust-trait-object
Rust-unsafe
Rust-waker
schmidt1994
Scoping-for-named-expression-reuse-and-composition
Sel-bootinfo
seL4-capability-derivation-tree
Sel4-cnode
Sel4-endpoint
Sel4-notification
Sel4-passive-server
Sel4-retype
Sel4-revoke
Sel4-root-task
Sel4-tcb
Sel4-untyped
Selective-message-reception
Semantic-linebreaks
Seymour-papert
Shared-state-concurrency
shaw1977-abstraction-and-verification-in-alphard
Simplicity-matters
Simula-67
Simula-class-concatenation
Smalltalk-language
Software-should-be-explainable
Specification-model-should-drive-implementation
Specification-refinement
Speculative-execution
Stack-vs-heap-allocation
Static-dispatch
Static-typing
Structured-concurrency
Structured-control-flow
Structured-message-passing
Structured-programming
Structured-programming-as-specifications
Structures-for-reuse
Subroutines-fortran
Summary-coordinated-and-efficient-huge-page-management-with-ingens
Summary-on-reliable-and-extendable-operating-systems
Supervision-principles-for-programming-fault-tolerant-applications
Synchronization-in-actor-systems
Systems-should-be-queryable
t/title
Takeaway-incremental-garbage-collection-of-processes
Takeaway-laws-for-communicating-parallel-processes
Takeaway-synchronization-in-actor-systems
Takeaway-universal-modular-actor-formalism-for-ai
Talk-are-we-there-yet
Talk-growing-a-language
Talk-speculation-keynote
Testing-approaches
Tft-learning-systemization
The-early-history-of-smalltalk
The-error-model
TiddlerTitles-are-concept-handles
Time-of-day
Timeouts-and-cancellations-for-humans
Timer-executor-reactor-approaches
Todos
Tree-sitter-language-tool
Type-classes-vs-type-constraints
Underpowered-description-language
Universal-modular-actor-formalism-for-ai
Unix-command-language-single-notion
Unix-simplicity-over-elaborate-capability
Untapped-power-of-software-visualization
Use-case-for-explainable-software
Useful-tiddler-macros
Ventilated-prose-by-fuller
Viewing-control-structures-as-patterns-of-passing-messages
Virtual-memory
Virtual-memory-manager
Visualization-references
wadler1989-how-to-make-ad-hoc-polymorphism-less-ad-hoc
We-shape-our-tools-and-then-they-shape-us
xx$:/temp/refnotes/library/hewitt1973
xx$:/temp/refnotes/library/hewitt1977
xx$:/temp/refnotes/library/hoare1974
xx$:/temp/refnotes/library/lampson1969
xx$:/temp/refnotes/library/schmidt1994
xx$:/temp/search